Software Mythbusters Explore Formal Methods

Formal Methods and Software Safety

The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become signi cantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness have been slow in development. One approach is to mathematically verify software in such systems. T...

Object Organisation in Software Environments for Formal Methods Object Organisation in Software Environments for Formal Methods

Software development by formal methods involves an overwhelming amount of technical and managerial detail. Systematic organisation of this information in a method's support environment is an important engineering concern. In this paper, we introduce a model for object organisation in software environments for formal methods, with particular emphasis on easy construction, modiication, review and...

A Survey of Formal Software Development Methods

Formal Methods in Testing Software Architectures

SAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in testing and analysis. We describe here an approach for SA-based conformance testing: architectural tests are selected from a Labelled Transition System (LTS) representing the SA behavior and are then refined int...

Methods and Tools for Formal Software Engineering

We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...